workaound curl bug in lastest windows github runner. (#1111)

diff --git a/tools/uploadtool/upload_github.sh b/tools/uploadtool/upload_github.sh
index dcec6f2fc304be63657962e9107f1ba9d6b3c67e..851a82407dc8fcb6f7318a7817b9656b49e76c8d 100755 (executable)
--- a/tools/uploadtool/upload_github.sh
+++ b/tools/uploadtool/upload_github.sh
@@ -132,9 +132,11 @@ echo "Upload binaries to the release..."
 for FILE in "$@" ; do
   FULLNAME="${FILE}"
   BASENAME="$(basename "${FILE}")"
+  # use -http1.1 to avoid https://github.com/actions/runner-images/issues/7329
   curl -H "Authorization: token ${GITHUB_TOKEN}" \
        -H "Accept: application/vnd.github.manifold-preview" \
        -H "Content-Type: application/octet-stream" \
+       --http1.1 \
        --data-binary @$FULLNAME \
        "$upload_url?name=$BASENAME"
   echo ""